Pseudo-Finite Model Theory
نویسندگان
چکیده
منابع مشابه
Pseudo-Finite Homogeneity and Saturation
When analyzing database query languages a property of theories, the pseudo-finite homogeneity property has been introduced and applied (cf. [3]). We show that a stable theory has the pseudo-finite homogeneity property just in case its expressive power for finite states is bounded. Moreover, we introduce the corresponding pseudo-finite saturation property and show that a theory fails to have the...
متن کاملPseudo-finite model theory
We consider the restriction of first–order logic to models, called pseudo– finite, with the property that every first–order sentence true in the model is true in a finite model. We argue that this is a good framework for studying first-order logic on finite structures. We prove a Lindström Theorem for extensions of first order logic on pseudo-finite structures.
متن کاملNotes on the model theory of finite and pseudo-finite fields
These notes contain the material covered during a mini-course given at the University of Helsinki, 22 29 April 2009. The reader wishing to see more on pseudo-finite fields can also consult the notes on the course given in Madrid (November 2005), posted on my web page. The main part of this course is based on a paper by James Ax [A], The elementary theory of finite fields. The interested reader ...
متن کاملMultiscale Analysis of Transverse Cracking in Cross-Ply Laminated Beams Using the Layerwise Theory
A finite element model based on the layerwise theory is developed for the analysis of transverse cracking in cross-ply laminated beams. The numerical model is developed using the layerwise theory of Reddy, and the von Kármán type nonlinear strain field is adopted to accommodate the moderately large rotations of the beam. The finite element beam model is verified by comparing the present numeric...
متن کاملOn kaleidoscopic pseudo-randomness of finite Euclidean graphs
In this paper we study the kaleidoscopic pseudo-randomness of finite Euclidean graphs using probabilistic methods. Roughly speaking, we show that sufficiently large subsets of d-dimensional vector spaces over finite fields contain every possible finite configurations.
متن کامل